Synchronous Events in the OpenModelica Compiler with a Petri Net Library Application
نویسندگان
چکیده
In this work an approach is presented that extends the OpenModelica Compiler (OMC) with an event handling module and controls events separately from the integrator. The aim of this extension is to improve the event handling controller of the OMC to handle all equations synchronously, resulting in an efficient simulation of hybrid dynamical systems. This improvements of the event handling allows to formulate the Petri Net library in optimal Modelica code.
منابع مشابه
A Petri Net Library for Modeling Hybrid Systems in OpenModelica
For modeling continuous and hybrid Petri Nets with dynamic edge weightings, the already existing Petri Net Libraries were further developed. The new library was implemented in OpenModelica using the SimForge GUI, however it works also with Dymola. With the extensions it is possible to model complex biological as well as production or traffic systems.
متن کاملModeling a Bacterium's Life: a Petri-net Library in Modelica
For modeling biological systems the already existing Petri Net Libraries were further developed with OpenModelica using the SimForge graphical user interface (GUI). The Petri Nets elements were wrapped into models for different reaction types to simplify the modeling process. Additionally, a database connection was implemented for integrating kinetic data. The application of this new Reaction L...
متن کاملBuilding Petri Nets Tools around Neco Compiler
This paper presents Neco that is a Petri net compiler: it takes a Petri net as its input and produces as its output an optimised library to efficiently explore the state space of this Petri net. Neco is also able to work with LTL formulae and to perform model-checking by using SPOT library. We describe the components of Neco, and in particular the exploration libraries it produces, with the aim...
متن کاملMapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...
متن کاملLTL Model Checking with Neco
We introduce neco-spot, an LTL model checker for Petri net models. It builds upon Neco, a compiler turning Petri nets into native shared libraries that allows fast on-the-fly exploration of the state-space, and upon Spot, a C++ library of model-checking algorithms. We show the architecture of Neco and explain how it was combined with Spot to build an LTL model checker.
متن کامل